gdk: Fix gdk_device_tool_get_serial() return value
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 4 Aug 2016 16:44:36 +0000 (18:44 +0200)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 20 Aug 2016 03:56:58 +0000 (23:56 -0400)
commite3bbeb48bd4aeb6f22e52fa845f7c125c123d29e
tree46e5555ba1e7836697454025e2f3162d36ed9505
parent7e11fcaa184cd1d7f5dafb4415496e6a95a65966
gdk: Fix gdk_device_tool_get_serial() return value

This is a guint64, not just a guint.

https://bugzilla.gnome.org/show_bug.cgi?id=770026
gdk/gdkdevicetool.c
gdk/gdkdevicetool.h